Skip to content

Update from focal to jammy#521

Merged
leochr merged 2 commits into
mainfrom
jammy
Jul 24, 2023
Merged

Update from focal to jammy#521
leochr merged 2 commits into
mainfrom
jammy

Conversation

@idlewis

@idlewis idlewis commented Jul 19, 2023

Copy link
Copy Markdown
Member

No description provided.

@CLAassistant

CLAassistant commented Jul 19, 2023

Copy link
Copy Markdown

CLA assistant check
All committers have signed the CLA.

@idlewis idlewis self-assigned this Jul 19, 2023
@idlewis idlewis requested a review from leochr July 19, 2023 10:26
@leochr leochr merged commit 1dad206 into main Jul 24, 2023
@idlewis idlewis deleted the jammy branch January 25, 2024 11:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants